<html>
<head><meta charset="utf-8"><title>I-prioritize #74429 Borrowck deduces empty lifetime · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374429.20Borrowck.20deduces.20empty.20lifetime.html">I-prioritize #74429 Borrowck deduces empty lifetime</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="204192223"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374429%20Borrowck%20deduces%20empty%20lifetime/near/204192223" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374429.20Borrowck.20deduces.20empty.20lifetime.html#204192223">(Jul 17 2020 at 10:46)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/74429">#74429</a> has been requested for prioritization.</p>
<h1><a href="https://hackmd.io/WJ0G17DHTHGgv0OW9I2PxA?view#Unprioritized-I-prioritize">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="204195783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374429%20Borrowck%20deduces%20empty%20lifetime/near/204195783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374429.20Borrowck.20deduces.20empty.20lifetime.html#204195783">(Jul 17 2020 at 11:36)</a>:</h4>
<p>Fairly sure this ends up <code>P-critical</code>. We do need a better mcve here though</p>



<a name="204196954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374429%20Borrowck%20deduces%20empty%20lifetime/near/204196954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374429.20Borrowck.20deduces.20empty.20lifetime.html#204196954">(Jul 17 2020 at 11:54)</a>:</h4>
<p>Pinged cleanup</p>



<a name="204197096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374429%20Borrowck%20deduces%20empty%20lifetime/near/204197096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374429.20Borrowck.20deduces.20empty.20lifetime.html#204197096">(Jul 17 2020 at 11:56)</a>:</h4>
<p>Given that beta branched recently this must be a recent regression</p>



<a name="204197104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374429%20Borrowck%20deduces%20empty%20lifetime/near/204197104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374429.20Borrowck.20deduces.20empty.20lifetime.html#204197104">(Jul 17 2020 at 11:56)</a>:</h4>
<p>I also think that makes it <code>P-critical</code></p>



<a name="204217904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374429%20Borrowck%20deduces%20empty%20lifetime/near/204217904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374429.20Borrowck.20deduces.20empty.20lifetime.html#204217904">(Jul 17 2020 at 15:12)</a>:</h4>
<p>going with p-critical since it's a stable-to-stable reg</p>



<a name="204217983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374429%20Borrowck%20deduces%20empty%20lifetime/near/204217983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374429.20Borrowck.20deduces.20empty.20lifetime.html#204217983">(Jul 17 2020 at 15:13)</a>:</h4>
<p>agreed, let's make it <code>P-critical</code></p>



<a name="204218028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374429%20Borrowck%20deduces%20empty%20lifetime/near/204218028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374429.20Borrowck.20deduces.20empty.20lifetime.html#204218028">(Jul 17 2020 at 15:13)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/74429">#74429</a>'s prioritization request has been removed.</p>



<a name="204218690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374429%20Borrowck%20deduces%20empty%20lifetime/near/204218690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374429.20Borrowck.20deduces.20empty.20lifetime.html#204218690">(Jul 17 2020 at 15:18)</a>:</h4>
<p>lol both of us were doing at the same time <span aria-label="grinning" class="emoji emoji-1f600" role="img" title="grinning">:grinning:</span></p>



<a name="204220508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2374429%20Borrowck%20deduces%20empty%20lifetime/near/204220508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2374429.20Borrowck.20deduces.20empty.20lifetime.html#204220508">(Jul 17 2020 at 15:33)</a>:</h4>
<p>ohh <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span> :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>